Depth Subtyping Rule
/mrsekut-book-4274069117/168
日本語TaPLでは深さ部分型付けと訳されている
S-RcdDepth